Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
131	gnatpro_news_us_0405_p1.pdf Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:01 AdaCore GNAT Ada A Sharp Robert Dewar Integrated development environment Free software Pro Tools GNU Compiler Collection Computing Ada programming language Software
132	< product spotlight > GNAT Pro Safety-Critical for Railway Applications newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-07-02 09:33:58 Computer programming AdaCore SPARK Ada GNAT Programming Studio GNAT A Sharp Static program analysis Design by contract Computing Software engineering Ada programming language
133	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
134	Microsoft Word - EADS.doc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-10-27 17:50:06 EADS Aviation AdaCore GNAT Future Strategic Tanker Aircraft Airbus A Sharp EADS CASA ARINC Computing Ada programming language Software
135	an AdaCore Publication Spring 2011 www.adacore.com newsflash Airbus Military Using GNATcheck Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:37 Computer programming AdaCore GNAT Ada A Sharp DO-178B Code coverage DO-178C GNU Compiler Collection Computing Software Ada programming language
136	adacore_newsletter_spring07_v3.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:16 Computer programming AdaCore GNAT Programming Studio GNAT Ada A Sharp Robert Dewar Eclipse Free software Computing Software Ada programming language
137	an AdaCore Publication Spring 2009 www.adacore.com newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:18 Computer programming AdaCore SPARK GNAT Ada A Sharp Free software Integrated development environment Lego Mindstorms NXT Computing Ada programming language Software engineering
138	< technology corner > Conferences / Events Solving the Endianness Problem with GNAT Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-07-03 10:24:03 Software engineering AdaCore GNAT Ada SPARK A Sharp Robert Dewar Endianness Integrated development environment Computing Ada programming language Computer programming
139	< technology corner > newsflash What’s New in SPARK 2014? The SPARK language has a long history of successful usage in safety-critical and high-security software, since it Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-14 13:11:57 Computer programming AdaCore SPARK GNAT Ada A Sharp Robert Dewar Free software Ada programming language Computing Software engineering
140	adacore_newsletter_06_5colors.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:23 Computer programming AdaCore GNAT A Sharp Ada Robert Dewar GNU Debugger GNU Compiler Collection Free software Computing Software Ada programming language

UPDATE